<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
        <head>
          <title>Scaladoc for scalasemweb.owl.restrictions</title>
          <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
		      <script type="text/javascript" src="../../../lib/jquery.js"></script>
          
      <link href="../../../lib/template.css" rel="stylesheet" type="text/css" media="screen" />
      <script type="text/javascript" src="../../../lib/template.js"></script>
      <script type="text/javascript" src="../../../lib/tools.tooltip.js"></script>
    
        </head>
        <body class="value">

      <p id="owner"><a href="../../package.html" class="extype" name="scalasemweb">scalasemweb</a>.<a href="../package.html" class="extype" name="scalasemweb.owl">owl</a></p>

      <div id="definition">
        <img src="../../../lib/package_big.png" />
        <h1>restrictions</h1>
      </div>

      <h4 class="signature" id="signature">
      <span class="kind">package</span>
      <span class="symbol">
        <span class="name">restrictions</span>
      </span>
      </h4>
      <div class="fullcomment" id="comment"></div>
      
      <div id="template">

        <div id="mbrsel">
          
          <div id="visbl">
            <span class="filtertype">Visibility</span>
            <ol><li class="public in">Public</li><li class="all out">All</li></ol>
          </div>
        </div>
        
                
        
        <div class="members" id="types">
              <h3>Type Members</h3>
              <ol><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataAllValuesFrom">
      <h4 class="signature"><a href="OWLDataAllValuesFrom.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataAllValuesFrom</span><span class="result"> extends OWLUnaryDataRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An All Values from restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataCardinalityRestriction">
      <h4 class="signature"><a href="OWLDataCardinalityRestriction.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataCardinalityRestriction</span><span class="result"> extends OWLUnaryDataRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An All Values from restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataExactCardinality">
      <h4 class="signature"><a href="OWLDataExactCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataExactCardinality</span><span class="result"> extends OWLDataCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An Exact Cardinality restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataHasValue">
      <h4 class="signature"><a href="OWLDataHasValue.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataHasValue</span><span class="result"> extends OWLUnaryDataRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Has Value restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataMaxCardinality">
      <h4 class="signature"><a href="OWLDataMaxCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataMaxCardinality</span><span class="result"> extends OWLDataCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An Exact Cardinality restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataMinCardinality">
      <h4 class="signature"><a href="OWLDataMinCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataMinCardinality</span><span class="result"> extends OWLDataCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An Exact Cardinality restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataQualifiedExactCardinality">
      <h4 class="signature"><a href="OWLDataQualifiedExactCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataQualifiedExactCardinality</span><span class="result"> extends OWLDataCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Qualified Exact Cardinality restriction on a data property relative to a datatype
Created by <code>prop exact (n,datatype)</code></p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataQualifiedMaxCardinality">
      <h4 class="signature"><a href="OWLDataQualifiedMaxCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataQualifiedMaxCardinality</span><span class="result"> extends OWLDataCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Qualified Max Cardinality restriction on a data property relative to a datatype
Created by <code>prop max (n,datatype)</code></p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataQualifiedMinCardinality">
      <h4 class="signature"><a href="OWLDataQualifiedMinCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataQualifiedMinCardinality</span><span class="result"> extends OWLDataCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Qualified Exact Cardinality restriction on a data property relative to a datatype
Created by <code>prop exact (n,datatype)</code></p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataSomeValuesFrom">
      <h4 class="signature"><a href="OWLDataSomeValuesFrom.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLDataSomeValuesFrom</span><span class="result"> extends OWLUnaryDataRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Some Values from restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLNAryDataAllValuesFrom">
      <h4 class="signature"><a href="OWLNAryDataAllValuesFrom.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLNAryDataAllValuesFrom</span><span class="result"> extends OWLNAryDataRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A All Values from restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLNAryDataRestriction">
      <h4 class="signature"><a href="OWLNAryDataRestriction.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLNAryDataRestriction</span><span class="result"> extends OWLRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A restriction on a single property</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLNAryDataSomeValuesFrom">
      <h4 class="signature"><a href="OWLNAryDataSomeValuesFrom.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLNAryDataSomeValuesFrom</span><span class="result"> extends OWLNAryDataRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Some Values from restriction on an data property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectAllValuesFrom">
      <h4 class="signature"><a href="OWLObjectAllValuesFrom.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectAllValuesFrom</span><span class="result"> extends OWLUnaryObjectRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An All Values from restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectCardinalityRestriction">
      <h4 class="signature"><a href="OWLObjectCardinalityRestriction.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectCardinalityRestriction</span><span class="result"> extends OWLUnaryObjectRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An All Values from restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectExactCardinality">
      <h4 class="signature"><a href="OWLObjectExactCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectExactCardinality</span><span class="result"> extends OWLObjectCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An Exact Cardinality restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectHasValue">
      <h4 class="signature"><a href="OWLObjectHasValue.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectHasValue</span><span class="result"> extends OWLUnaryObjectRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Has Value restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectMaxCardinality">
      <h4 class="signature"><a href="OWLObjectMaxCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectMaxCardinality</span><span class="result"> extends OWLObjectCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An Exact Cardinality restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectMinCardinality">
      <h4 class="signature"><a href="OWLObjectMinCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectMinCardinality</span><span class="result"> extends OWLObjectCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">An Exact Cardinality restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectQualifiedExactCardinality">
      <h4 class="signature"><a href="OWLObjectQualifiedExactCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectQualifiedExactCardinality</span><span class="result"> extends OWLObjectCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Qualified Exact Cardinality restriction on a data property relative to a class
Created by <code>prop exact (n,clazz)</code></p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectQualifiedMaxCardinality">
      <h4 class="signature"><a href="OWLObjectQualifiedMaxCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectQualifiedMaxCardinality</span><span class="result"> extends OWLObjectCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Qualified Max Cardinality restriction on a data property relative to a class
Created by <code>prop max (n,clazz)</code></p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectQualifiedMinCardinality">
      <h4 class="signature"><a href="OWLObjectQualifiedMinCardinality.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectQualifiedMinCardinality</span><span class="result"> extends OWLObjectCardinalityRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Qualified Exact Cardinality restriction on a data property relative to a class
Created by <code>prop exact (n,clazz)</code></p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectSomeValuesFrom">
      <h4 class="signature"><a href="OWLObjectSomeValuesFrom.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLObjectSomeValuesFrom</span><span class="result"> extends OWLUnaryObjectRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A Some Values from restriction on an object property.</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLRestriction">
      <h4 class="signature"><a href="OWLRestriction.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLRestriction</span><span class="result"> extends OWLClass</span>
      </span>
      </a></h4>
      <p class="comment cmt">A restriction</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLUnaryDataRestriction">
      <h4 class="signature"><a href="OWLUnaryDataRestriction.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLUnaryDataRestriction</span><span class="result"> extends OWLRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A restriction on a single property</p>
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLUnaryObjectRestriction">
      <h4 class="signature"><a href="OWLUnaryObjectRestriction.html">
      <span class="kind">class</span>
      <span class="symbol">
        <span class="name">OWLUnaryObjectRestriction</span><span class="result"> extends OWLRestriction</span>
      </span>
      </a></h4>
      <p class="comment cmt">A restriction on a single property</p>
    </li></ol>
            </div>
        
        <div class="members" id="values">
              <h3>Value Members</h3>
              <ol><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataAllValuesFrom">
      <h4 class="signature"><a href="OWLDataAllValuesFrom$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataAllValuesFrom</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataExactCardinality">
      <h4 class="signature"><a href="OWLDataExactCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataExactCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataHasValue">
      <h4 class="signature"><a href="OWLDataHasValue$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataHasValue</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataMaxCardinality">
      <h4 class="signature"><a href="OWLDataMaxCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataMaxCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataMinCardinality">
      <h4 class="signature"><a href="OWLDataMinCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataMinCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataQualifiedExactCardinality">
      <h4 class="signature"><a href="OWLDataQualifiedExactCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataQualifiedExactCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataQualifiedMaxCardinality">
      <h4 class="signature"><a href="OWLDataQualifiedMaxCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataQualifiedMaxCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataQualifiedMinCardinality">
      <h4 class="signature"><a href="OWLDataQualifiedMinCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataQualifiedMinCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLDataSomeValuesFrom">
      <h4 class="signature"><a href="OWLDataSomeValuesFrom$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLDataSomeValuesFrom</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLNAryDataAllValuesFrom">
      <h4 class="signature"><a href="OWLNAryDataAllValuesFrom$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLNAryDataAllValuesFrom</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLNAryDataSomeValuesFrom">
      <h4 class="signature"><a href="OWLNAryDataSomeValuesFrom$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLNAryDataSomeValuesFrom</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectAllValuesFrom">
      <h4 class="signature"><a href="OWLObjectAllValuesFrom$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectAllValuesFrom</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectExactCardinality">
      <h4 class="signature"><a href="OWLObjectExactCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectExactCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectHasValue">
      <h4 class="signature"><a href="OWLObjectHasValue$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectHasValue</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectMaxCardinality">
      <h4 class="signature"><a href="OWLObjectMaxCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectMaxCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectMinCardinality">
      <h4 class="signature"><a href="OWLObjectMinCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectMinCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectQualifiedExactCardinality">
      <h4 class="signature"><a href="OWLObjectQualifiedExactCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectQualifiedExactCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectQualifiedMaxCardinality">
      <h4 class="signature"><a href="OWLObjectQualifiedMaxCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectQualifiedMaxCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectQualifiedMinCardinality">
      <h4 class="signature"><a href="OWLObjectQualifiedMinCardinality$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectQualifiedMinCardinality</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLObjectSomeValuesFrom">
      <h4 class="signature"><a href="OWLObjectSomeValuesFrom$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLObjectSomeValuesFrom</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li><li visbl="pub" name="scalasemweb.owl.restrictions.OWLRestriction">
      <h4 class="signature"><a href="OWLRestriction$.html">
      <span class="kind">object</span>
      <span class="symbol">
        <span class="name">OWLRestriction</span><span class="result"> extends AnyRef</span>
      </span>
      </a></h4>
      
    </li></ol>
            </div>
                
      </div>
      
      <div id="tooltip"></div>
      
    </body>
      </html>